Our idea is based on this observation to bounds check only input-related buffers so that it can save much code instrumentation and bounds checking meta-data, and so it has low time and space overhead. 我们的方法基于这一事实把边界检查限定在只和外部输入相关的缓冲区,这样就节省了很多代码插入和需要保存的缓冲区边界信息从而具有较低的时间和空间开销。
In this paper we summarize some utility methods of code checking and give example and algorithm. At the same time, advantages and disadvantages of every method and it's applying conditions are also introduced. 本文总结出几种实用的代码校验方法,给出实例及算法流程,并指出每种方法的优缺点及适用条件。